This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artifact consists of: a VirtualBox image a PDF document with the installation instructions and the evaluation steps of the artifac
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact accompanying the OOPSLA 2021 paper "Rich Specifications for Ethereum Smart Cont...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
This artifact contains a Virtual Box Image, with everything installed to run the experiments in the ...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
A virtual machine submitted to PLDI 2022's artifact evaluation committee. 1Jade Philipoom is now at...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verificati...
Artifact for the POPL23 submission titled "Efficient Dual-Numbers Reverse AD via Well-Known Program ...
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compile
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
Artifact for POPL 2024 submission "Parikh's Theorem Made Symbolic". Contains source code and a disk ...
Artifact that accompanies the "Capture, Analyze, Diagnose: Realizability Checking of Requirements in...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact accompanying the OOPSLA 2021 paper "Rich Specifications for Ethereum Smart Cont...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
This is the artifact for the POPL 2022 submission #30 Fair Termination of Binary Sessions. The artif...
This artifact contains a Virtual Box Image, with everything installed to run the experiments in the ...
This is the artifact accompanying the CAV 2021 paper "Product Programs in the Wild: Retrofitting Pro...
A virtual machine submitted to PLDI 2022's artifact evaluation committee. 1Jade Philipoom is now at...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verificati...
Artifact for the POPL23 submission titled "Efficient Dual-Numbers Reverse AD via Well-Known Program ...
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compile
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
Artifact for POPL 2024 submission "Parikh's Theorem Made Symbolic". Contains source code and a disk ...
Artifact that accompanies the "Capture, Analyze, Diagnose: Realizability Checking of Requirements in...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact accompanying the OOPSLA 2021 paper "Rich Specifications for Ethereum Smart Cont...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
DOI
Add to ORKG